Dynamic dominant logic